Các phát biểu tương đương của định lý Định lý lớn Fermat

Có một số cách khác để tuyên bố định lý cuối cùng của Fermat có toán học tương đương với câu lệnh ban đầu của vấn đề.

Để biểu diễn chúng, chúng ta sử dụng ký hiệu toán học: để N là tập các số tự nhiên 1,2,3,..., để Z là tập các số nguyên 0, ± 1, ± 2,..., và để cho Q là tập các số hợp các số ngẫu nhiên  trong đó a và b thuộc Z với b ≠ 0, Dưới đây, chúng ta sẽ gọi một giải pháp cho xn + yn = zn, trong đó một hoặc nhiều x, y, hoặc z có giá trị là 0 thì cách giải sẽ trở nên bình thường. Một giải pháp mà cả ba không phải là giá trị 0 thì sẽ trở nên bất thường.

Để so sánh, chúng ta bắt đầu với công thức ban đầu.

Phát biểu gốc: Với n, x, y, z ∈ N (nghĩa là: x, y, z là tất cả các số nguyên dương) và n> 2 thì phương trình xn + yn = zn vô nghiệm.

Các phương pháp phổ biến nhất của đối tượng theo cách này. Ngược lại, gần như tất cả các sách giáo khoa toán học đều ghi rõ nó qua Z:

Phát biểu tương đương 1

xn + yn = zn, trong đó n ≥ 3, không có các nghiệm bình thường x, y, z ∈ Z.

Tương đương là rõ ràng nếu n là như vậy. Nếu n là lẻ và tất cả ba của x, y, z là âm thì chúng ta có thể thay thế x, y, z bằng -x, -y, -z để có được một cách giải trong N. Nếu hai trong số đó là âm, nó phải là x và z hoặc y và z. Nếu x, z là âm và y là dương, sau đó chúng ta có thể sắp xếp lại để có được (-z) n + y n = (-x) n dẫn đến một cách giải trong N; trường hợp khác được xử lý tương tự. Bây giờ nếu chỉ một trong số chúng là âm, nó phải được x hoặc y. Nếu x là âm, và y và z dương, sau đó nó có thể được sắp xếp lại để lấy (-x) n + zn = y n một lần nữa dẫn đến một cách giải trong N; nếu y là âm, kết quả đối xứng với trước đó. Như vậy trong mọi trường hợp một giải pháp không đối lập trong Z cũng có nghĩa là một giải pháp tồn tại trong N, đó là công thức ban đầu của vấn đề.

Phát biểu tương đương 2

xn + yn = zn, trong đó n ≥ 3, không có các bất thường gì trong cách giải x, y, z ∈ Q.

Điều này là do số mũ của x, y và z bằng nhau (đến n), vì vậy nếu có một cách giải trong Q thì nó có thể được nhân với một mẫu số chung thích hợp để có được một giải pháp trong Z, và do đó kéo theo trong N.

Phát biểu tương đương 3

xn + yn = 1, với n ≥ 3, không có các bất thường gì trong cách giải x, y ∈ Q.

Một giải pháp bất thường a, b, c ∈ Z đến xn + yn = zn cho ra giải pháp khác lạ ,  ∈ Q cho vn + wn = 1. Ngược lại, một giải pháp một cách giải, ∈ Q to vn + wn = 1 mang lại một gcách giải ad, cb, bd cho xn + yn = zn.

Công thức cuối cùng này đặc biệt hiệu quả, bởi vì nó làm giảm vấn đề từ một vấn đề về bề mặt trong ba chiều với một vấn đề về các đường cong trong hai chiều. Hơn nữa, nó cho phép làm việc trên tập Q, chứ không phải là qua vòng Z; lĩnh vực có cấu trúc nhiều hơnvòng tròn, cho phép phân tích sâu hơn các yếu tố của họ.

Phát biểu tương đương 4

Kết nối với các đường cong elliptic: Nếu a, b, c là một giải pháp không tầm thường đối với xp + yp = zp, p là số lẻ, thì y2 = x (x - ap) (x + bp) (đường cong Frey) sẽ là một đường cong elliptic.

Xem đường cong elliptic này với định lý Ribet cho thấy nó không thể có dạng mô đun. Tuy nhiên, chứng minh của Andrew Wiles chứng minh rằng bất kỳ phương trình có dạng y2 = x (x - an) (x + bn) luôn luôn có một dạng mô đun. Bất kỳ giải pháp nào đối với xp + yp = zp (với p là số lẻ) sẽ tạo ra mâu thuẫn, do đó chứng minh rằng không có các giải pháp nào tồn tại.

(Theo thuật ngữ chung, điều này nói rằng bất kỳ giải pháp nào có thể mâu thuẫn với Định lý cuối cùng của Fermat cũng có thể được sử dụng để mâu thuẫn với Định lý Mô đun.Vì vậy, nếu định lý mô đun được tìm thấy là đúng, thì theo định nghĩa thì không có mâu thuẫn với Định lý cuối cùng của Fermat. Như đã trình bày ở trên, việc khám phá ra tuyên bố tương đương này rất quan trọng đối với giải pháp cuối cùng của Định lý cuối cùng của Fermat, vì nó cung cấp một phương tiện để nó có thể bị 'tấn công' cho tất cả các số cùng một lúc.)

Tài liệu tham khảo

WikiPedia: Định lý lớn Fermat http://www.britannica.com/EBchecked/topic/204685 http://math.stanford.edu/~lekheng/flt/wiles.pdf http://vietsciences.free.fr/biographie/mathematici... http://d-nb.info/gnd/4154012-8 http://diendantoanhoc.net/forum/index.php?showtopi... http://diendantoanhoc.net/modules.php?name=News&fi... http://www.diendantoanhoc.net/forum/index.php?show... http://cgd.best.vwh.net/home/flt/fltpdf.zip http://baotintuc.vn/giai-mat/fermat-va-dinh-ly-lon... https://commons.wikimedia.org/wiki/Category:Fermat...